# -*- mode: snippet -*-
# key: Conj
# group: propositions
# name: Conjecture
# --
Conjecture $1 : $0.
